Playing SatFinder - Ralf Andrae